compact metric space definition